Nuprl Definition : rec_ind def
9,38
postcript
pdf
rec_ind(
A
;
x
,
y
.
B
(
x
;
y
)) is Primitive
latex
origin